First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
211	The Axiomatic Translation of Modal Logic into First Order Logic A dissertation submitted to The University of Manchester for the degree of Master of Science in the Faculty of Engineering and Physical Sciences Add to Reading List Source URL: project.kjsmith.net Language: English - Date: 2008-09-04 06:08:35
212	From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic: Abstract∗ Joseph Y. Halpern Dept. of Computer Science Cornell University Add to Reading List Source URL: csf2013.seas.harvard.edu Language: English - Date: 2013-07-05 16:36:49
213	On the “Logic without Borders” Point of View∗ Juliette Kennedy Department of Mathematics and Statistics University of Helsinki, Finland June 29, 2014 Add to Reading List Source URL: www.math.helsinki.fi Language: English - Date: 2015-04-07 08:36:39 Mathematical logic Logic Model theory Mathematics Large cardinals Set theory Metalogic Stable theory First-order logic Second-order logic Constructible universe Tree
214	Constructing Markov Logic Networks from First-Order Default Rules Ondřej Kuželka1, Jesse Davis2 and Steven Schockaert1 1Cardiff University, 2KU Leuven Add to Reading List Source URL: www.ilp2015.jp Language: English - Date: 2015-08-22 07:35:55
215	Application for a Dagstuhl Seminar Deduction and Arithmetic Nikolaj Bjørner Reiner H¨ahnle Tobias Nipkow Add to Reading List Source URL: www.dagstuhl.de Language: English - Date: 2010-04-21 04:49:56 Theoretical computer science Mathematical logic Logic Logic in computer science Automated theorem proving Formal methods Model theory Satisfiability modulo theories Automated reasoning Presburger arithmetic First-order logic Formal verification
216	Nat Lang Semantics DOIs11050Interface transparency and the psychosemantics of most Jeffrey Lidz Æ Paul Pietroski Æ Justin Halberda Æ Tim Hunter Add to Reading List Source URL: ling.umd.edu Language: English - Date: 2012-03-22 11:33:57 Philosophy Logic Abstraction Semantics Philosophical logic Theories of truth Meaning Metalogic Model theory First-order logic Truth condition IP
217	Information Retrieval A Relational Model of Data for Large Shared Data Banks E. F. CODD Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2008-12-08 10:06:26 Mathematics Logic Mathematical logic Model theory Relational model Binary relation Structure First-order logic Finitary relation Relation Path ordering Relational algebra
218	Microsoft PowerPoint - Dissvortrag-Version_2007-11-08_online.ppt Add to Reading List Source URL: www.ruedi-arnold.com Language: English - Date: 2011-12-23 03:20:07 Logic Mathematical logic Abstraction Syntax Propositional calculus Non-classical logic Boolean algebra Matrix Well-formed formula Proposition Tautology First-order logic
219	Deciding First Order Logic Properties of Matroids Tom´aˇs Gavenˇciak∗ Daniel Kr´al’† Sang-il Oum‡ Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:38
220	LOGICAL STEP-INDEXED LOGICAL RELATIONS DEREK DREYER, AMAL AHMED, AND LARS BIRKEDAL MPI-SWS, Germany e-mail address: Indiana University, USA e-mail address: Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2011-04-07 21:09:24 Logic Mathematical logic Abstraction Predicate logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Constructible universe Quantifier First-order logic

UPDATE